Airy Weinzoepflen And NotUtah
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
008668 | Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
008B26 | Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
008D89 | Airy Weinzoepflen | Développement Incrémental Prouvé de Systèmes |
009492 | Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Modélisation et analyse de la documentation technique d'un système |
009514 | Airy Weinzoepflen [France] | Développement Incrémental Prouvé de Systèmes |
This area was generated with Dilib version V0.6.33. |